大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Computer-aided Design Systems 的图书(共13382本)

Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Trust Management [electronic resource] : 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings

0
索取号：
作者：St酶len、 Ketil.、Winsborough、 William H.、Martinelli、 Fabio.、Massacci、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Persuasive Technology [electronic resource] : First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings

0
索取号：
作者：IJsselsteijn、 Wijnand A.、Kort、 Yvonne A. W.、Midden、 Cees.、Eggen、 Berry.、Hoven、 Elise.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Numerical Mathematics and Advanced Applications [electronic resource] : Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications Santiago de Compostela, Spain, July 2005

0
索取号：
作者：de Castro、 Alfredo Berm煤dez.、G贸mez、 Dolores.、Quintela、 Peregrina.、Salgado、 Pilar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Geographic Hypermedia [electronic resource] : Concepts and Systems

0
索取号：
作者：Stefanakis、 Emmanuel.、Peterson、 Michael P.、Armenakis、 Costas.、Delis、 Vasilis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Vision in Human-Computer Interaction [electronic resource] : ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006. Proceedings

0
索取号：
作者：Huang、 Thomas S.、Sebe、 Nicu.、Lew、 Michael S.、Pavlovi膰、 Vladimir.、K枚lsch、 Mathias.、Galata、 Aphrodite.、Kisa膷anin、 Branislav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

0
索取号：
作者：Boavida、 Fernando.、Plagemann、 Thomas.、Stiller、 Burkhard.、Westphal、 Cedric.、Monteiro、 Edmundo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Testing of Communicating Systems [electronic resource] : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

0
索取号：
作者：Uyar、 M. 脺mit.、Duale、 Ali Y.、Fecko、 Mariusz A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Science-Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

0
索取号：
作者：Grigoriev、 Dima.、Harrison、 John.、Hirsch、 Edward A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

0
索取号：
作者：Gilroy、 Stephen W.、Harrison、 Michael D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Parallel Processing and Applied Mathematics [electronic resource] : 6th International Conference, PPAM 2005, Pozna艅, Poland, September 11-14, 2005, Revised Selected Papers

0
索取号：
作者：Wyrzykowski、 Roman.、Dongarra、 Jack.、Meyer、 Norbert.、Wa艣niewski、 Jerzy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Artificial Intelligence [electronic resource] : 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006. Proceedings

0
索取号：
作者：Antoniou、 Grigoris.、Potamias、 George.、Spyropoulos、 Costas.、Plexousakis、 Dimitris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V

0
索取号：
作者：Gavrilova、 Marina L.、Gervasi、 Osvaldo.、Kumar、 Vipin.、Tan、 C. J. Kenneth.、Taniar、 David.、Lagan谩、 Antonio.、Mun、 Youngsong.、Choo、 Hyunseung.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV

0
索取号：
作者：Gavrilova、 Marina L.、Gervasi、 Osvaldo.、Kumar、 Vipin.、Tan、 C. J. Kenneth.、Taniar、 David.、Lagan谩、 Antonio.、Mun、 Youngsong.、Choo、 Hyunseung.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III

0
索取号：
作者：Gavrilova、 Marina.、Gervasi、 Osvaldo.、Kumar、 Vipin.、Tan、 C. J. Kenneth.、Taniar、 David.、Lagan谩、 Antonio.、Mun、 Youngsong.、Choo、 Hyunseung.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II

0
索取号：
作者：Gavrilova、 Marina L.、Gervasi、 Osvaldo.、Kumar、 Vipin.、Tan、 C. J. Kenneth.、Taniar、 David.、Lagan谩、 Antonio.、Mun、 Youngsong.、Choo、 Hyunseung.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院